#include <public/config.h>
#include <public/uart_dev_putchar.h>
#include <public/basic_types.h>

#define STATUS_REG_OFFSET	0x05
#define DATA_REG_OFFSET	0x00
#define UART_THR	0x20

void uart_dev_putchar(uint8_t car)
{
	uint8_t lsr = 0;

	do {
		lsr = UART_REGISTER(STATUS_REG_OFFSET);
	} while (!(lsr & UART_THR));

	UART_REGISTER(DATA_REG_OFFSET) = car;
}

